|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
04/07/1996 |
Data da última atualização: |
16/08/2007 |
Autoria: |
DRUMMOND, L. M. A.; BARBOSA, V. C. |
Título: |
Algoritmos distribuidos para deteccao de predicados globais. |
Ano de publicação: |
1995 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995. |
Páginas: |
p.335-352. |
Idioma: |
Português |
Conteúdo: |
Um dos aspectos mais importantes de depuradores de programas paralelos distribuidos consiste na facilidade de se estabelecerem breakpoints que possam ser descritos por predicados envolvendo estados globais e, entao, denominados predicados globais. Neste artigo consideramos o projeto de algoritmos distribuidos para a deteccao de tais breakpoints em programas paralelos distribuidos e fornecemos quatro algoritmos, um para cada tipo diferente de breakpoint. Um dos algoritmos detecta a ocorrencia de breakpoints incondicionais, enquanto os outros tres detectam a ocorrencia de breakpoints sobre predicados conjuntivos estaveis e predicados conjuntivos genericos. Todos os algoritmos apresentados detectam os breakpoints nos estados globais mais adiantados em relacao as propriedades envolvidas. No caso de breakpoint incondicional, tal estado global mais adiantado deve coincidir exatamente com os breakpoints incondicionais locais requisitados para os processos que realmente participam do breakpoint. No caso dos outros breakpoints (condicionais), detecta-se o estado global mais adiantado onde o predicado disjuntivo ou o conjuntivo considerado e verdadeiro. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01746naa a2200145 a 4500 001 1002855 005 2007-08-16 008 1995 bl uuuu u00u1 u #d 100 1 $aDRUMMOND, L. M. A. 245 $aAlgoritmos distribuidos para deteccao de predicados globais. 260 $c1995 300 $ap.335-352. 520 $aUm dos aspectos mais importantes de depuradores de programas paralelos distribuidos consiste na facilidade de se estabelecerem breakpoints que possam ser descritos por predicados envolvendo estados globais e, entao, denominados predicados globais. Neste artigo consideramos o projeto de algoritmos distribuidos para a deteccao de tais breakpoints em programas paralelos distribuidos e fornecemos quatro algoritmos, um para cada tipo diferente de breakpoint. Um dos algoritmos detecta a ocorrencia de breakpoints incondicionais, enquanto os outros tres detectam a ocorrencia de breakpoints sobre predicados conjuntivos estaveis e predicados conjuntivos genericos. Todos os algoritmos apresentados detectam os breakpoints nos estados globais mais adiantados em relacao as propriedades envolvidas. No caso de breakpoint incondicional, tal estado global mais adiantado deve coincidir exatamente com os breakpoints incondicionais locais requisitados para os processos que realmente participam do breakpoint. No caso dos outros breakpoints (condicionais), detecta-se o estado global mais adiantado onde o predicado disjuntivo ou o conjuntivo considerado e verdadeiro. 700 1 $aBARBOSA, V. C. 773 $tIn: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 8 | |
1. | | DANTAS, B. F.; LOPES, A. P.; SILVA, R. C. B.; ANGELOTTI, F.; ARAGÃO, C. A. Influence of increasing CO2 and temperature on seedling emergence and early growth of different cultivars of pumpkin. In: INTERNATIONAL SYMPOSIUM ON SEED, TRANSPLANT AND STAND ESTABLISHMENT OS HORTICULTURAL CROPS: SOWING THE FUTURE OF TROPICAL HORTICULTURE, 6., 2012, Brasília, DF. Abstracts... Brasília, DF: Embrapa, 2012. p. 73.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
2. | | ARANDAS, J. K. G.; RIBEIRO, M. N.; PIMENTA FILHO, E. C.; SILVA, R. C. B. da; FACO, O.; ESTEVES, S. N. Estrutura populacional de ovinos da raça Morada Nova. In: SIMPÓSIO BRASILEIRO DE MELHORAMENTO ANIMAL, 9., 2012, João Pessoa. Anais... João Pessoa: SBMA, 2012. 3 f. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Caprinos e Ovinos. |
| |
3. | | SILVA, R. C. B. da; PIMENTA FILHO, E. C.; RIBEIRO, M. N.; SILVA, E. C. da; FACO, O.; PAIVA, S. R. Diversidade genética de ovinos Morada Nova no estado do Ceará, Brasil. In: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 48., 2011, Belém. O desenvolvimento da produção animal e a responsabilidade frente a novos desafios: anais. Belém: SBZ, 2011. 3 f. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
4. | | SILVA, R. C. B. da; PIMENTA FILHO, E. C.; RIBEIRO, M. N.; SILVA, E. C. da; FACO, O.; PAIVA, S. R. Diversidade genética de ovinos Morada Nova no estado do Ceará, Brasil. In: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 48., 2011, Belém. O desenvolvimento da produção animal e a responsabilidade frente a novos desafios: anais. Belém: SBZ, 2011. 3 f. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Caprinos e Ovinos. |
| |
5. | | SILVA, T. C. F. S.; SILVA, R. C. B.; SILVA, J. E. S. B.; SANTOS, R. S.; ARAGÃO, C. A.; DANTAS, B. F. Germinação de sementes de melancia sob diferentes métodos de tratamento com reguladores vegetais. Scientia Plena, v. 10, n. 3, p. 1-15, 2014.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 3 |
Biblioteca(s): Embrapa Semiárido. |
| |
6. | | ALVES, C. R.; PIMENTA, M. G. R.; VIEIRA, R. H. S. F.; FURTADO, R. F.; GUEDES, M. I. F.; SILVA, R. C. B.; ASSIS, O. B. G. Practical use of immobilized iysozyme for the remediation process of Escherichia coli in aqueous solution. Electronic Journal of Biotechnology, Valparaíso, v. 10, n. 1, p. 161-165, 2007.Tipo: Artigo em Periódico Indexado | Circulação/Nível: Internacional - A |
Biblioteca(s): Embrapa Instrumentação. |
| |
8. | | PACCHION, R. G.; CARVALHO, F. M.; THOMPSON, C. E.; FAUSTINO, A. L. F.; NICOLINI, F.; PEREIRA, T. S.; SILVA, R. C. B.; CANTAO, M. E.; GERBER, A.; VASCONCELOS, A. T. R.; AGNEZ-LIMA, L. F. Taxonomic and functional profiles of soil samples from Atlantic Forest and caatinga biomes in northeastern Brazil MicrobiologyOpen, Brussels, v. 3, n. 3, p. 299-315, 2014. DOI: 10.1002/mbo3.169.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 3 |
Biblioteca(s): Embrapa Suínos e Aves. |
| |
Registros recuperados : 8 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|